https://dasbestelexikon.de/de/wiki/Friedrich_Pustet_(1798–1882)